type nothing_type =
  | Nothing;
